机译:基于本体和语义Web规则语言的过程知识表示与语义推理
机译:语义基本属性对汉语学习者汉字义提取和推理的影响
机译:前颞颞叶中与语言有关的场电势:II。单词类型和语义启动的影响。
机译:将面向对象的语言的摘要汇集到COInuctive CLP(x)中:可以键入推理符合验证?
机译:数据库查询语言的定义明确,语义类型检查和类型推断。
机译:前颞颞叶中与语言有关的场电势:II。单词类型和语义启动的影响
机译:多层Web语言中类型和效果推理的抽象语义
机译:语义Web的开发 - 标记语言,Web服务,规则,解释,查询,证明和推理;最后的技术部门。 2000年6月至2008年4月